This paper describes an application of linear logic programming to the frame problem. This treatment has both practical and conceptual advantages over standard treatments: it is computationally efficient, and this efficiency arises because linear logic respects the identity, or otherwise, of situations.

This paper is concerned. with the contrast between simulation- and deduction-based approaches to reasoning about physical objects. We show that linear logic can give a unified account of both simulation and deduction concerning physical objects; it also allows us to draw a principled distinction between simulation and deduction, since simulations correspond to cut-free proofs, whereas deductions correspond to proofs in general.